Vaughan Pratt - PDFSEARCH.IO - Document Search Engine

Vaughan Pratt
Results: 47

#	Item
21	Chu Spaces: Automata with quantum aspects Vaughan R. Pratt∗ Dept. of Computer Science Stanford University Stanford, CA[removed]removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2003-10-12 15:35:27 Chu space Quantum logic Quantum field theory Boolean algebra John von Neumann Logic Uncertainty principle Matrix mechanics Introduction to quantum mechanics Physics Quantum mechanics Mathematics
22	Linear Logic complements Classical Logic Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CA[removed]removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:51 Ordinal numbers Elementary mathematics Proof theory Duality Large countable ordinal Ordinal arithmetic Topos Function Natural number Mathematics Mathematical logic Logic
23	Chu realizes all small concrete categories Vaughan Pratt January 9, 2005 Abstract The category Chu is concretely universal for much of concrete mathematics; in particular it concretely represents or realizes all categori Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:13 Functors Concrete category Morphism Category Universal property Chu space Full and faithful functors Natural transformation Epimorphism Category theory Abstract algebra Mathematics
24	Chu Spaces and their Interpretation as Concurrent Objects Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CA[removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:05:55 Linear algebra Algebraic structures Mathematical structures Functions and mappings Chu space Matrix Vector space Duality Boolean algebra Algebra Mathematics Abstract algebra
25	Time and Information in Sequential and Concurrent Computation Vaughan Pratt∗ Stanford University January 9, 2005 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:29 Mathematics Semigroup theory Concurrency Modal logic Non-classical logic Philosophical logic Monoid Parallel computing Chu space Abstract algebra Category theory Logic
26	Linear Logic for Generalized Quantum Mechanics Vaughan Pratt∗ Dept. of Computer Science Stanford University, CA[removed]removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2003-10-12 15:40:30 Non-classical logic Linear logic Quantum logic Intuitionistic logic Modal logic Propositional calculus Boolean algebra Function Interpretation Logic Mathematical logic Mathematics
27	Chu Spaces from the Representational Viewpoint Vaughan Pratt Department of Computer Science, Stanford University, Stanford, CA[removed]Abstract Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 14:02:29 Calculus Functions and mappings Model theory Chu space Topology Adjoint functors Continuous function Sheaf Functor Mathematics Mathematical analysis Category theory
28	Shorter proof of universality of Chu spaces Vaughan Pratt July 15, 1994 The categories Strκ of κ-ary relational structures and their homomorphisms where κ is any ordinal are universal categories for mathematics to the Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:09 Algebra Structure Model theory Universal algebra Homomorphism Boolean algebra Mathematics Mathematical structures Algebraic structures
29	Gates Accept Concurrent Behavior Vineet Gupta Vaughan Pratt∗ Dept. of Computer Science Stanford University, CA 94305 {vgupta,pratt}@cs.stanford.edu Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2004-02-21 10:39:43 Algebraic logic Boolean algebra Algebraic structures Forcing Chu space Boolean algebras canonically defined Boolean-valued model Mathematical logic Mathematics Abstract algebra
30	On the Representation of Abelian Groups as Chu Spaces Vaughan Pratt January 9, 2005 Abstract We compare two representations of Abelian groups as Chu spaces. The Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:00 Algebraic structures Group theory Mathematical structures Finite groups Abelian group Z3 Cyclic group Group representation Group Algebra Abstract algebra Mathematics

UPDATE